{-# OPTIONS --rewriting #-}

{-# REWRITE foo #-}
